home *** CD-ROM | disk | FTP | other *** search
/ 500 MB Nyheder Direkte fra Internet 2 / 500 MB nyheder direkte fra internet CD 2.iso / start / data / text / faq-1037.txt < prev    next >
Text File  |  1995-05-03  |  61KB  |  1,505 lines
  1. Archive-name: object-faq/part3
  2. Last-Modified: 10/27/94
  3. Version: 1.0.7
  4.  
  5. > ORBELINE - The SMART Object Request Broker
  6.  
  7. ORBeline is a complete implementation of OMG's Common Object Request
  8. Broker Architecture (CORBA).  ORBeline goes beyond the standard 
  9. specification to provide a SMART communication framework allowing
  10. you to easily develop large distributed applications that are robust,
  11. scalable, flexible and maintainable.  ORBeline incorporates PostModern's
  12. proven communication framework that links thousands of nodes.
  13.  
  14. See Appendix E:65 for a complete description and anon FTP info.
  15.  
  16.  
  17. > Orbix
  18.  
  19. Orbix
  20. Iona Technologies Ltd.
  21. 8-34 Percy Place
  22. Dublin 4
  23. Ireland
  24.  
  25. The latest release of Orbix, Version 1.2, includes an Object Loader function 
  26. for the first time, as well as an upgraded Interface Repository, a new
  27. approach to filtering, and more code examples to guide programmers. 
  28.  
  29. Orbix was launched in June 1993 as the first full and complete implementation 
  30. of the Object Management Group's (OMG's) Common Object Request Broker
  31. Architecture (CORBA) standard.  With Orbix, programmers can develop
  32. distributed, object oriented applications following a consistent and
  33. straightforward, standards-based model. 
  34.  
  35. With Orbix Version 1.2 IONA has added the ability to dynamically load objects 
  36. at runtime through its Object Loader function. This enables developers to more 
  37. easily integrate Orbix applications with existing data stores be they 
  38. traditional flat file databases, relational databases or object oriented
  39. databases. 
  40.  
  41. The improved Interface Repository is an integral part of IONA's CORBA 
  42. implementation. The Interface Repository operates as a dynamic browser which is
  43. populated with all objects or services available at runtime keeping programmers
  44. informed of the functions, attributes and characteristics of objects and 
  45. services. 
  46.  
  47. In version 1.2 IONA has also extended the whole approach to filtering of 
  48. requests, and has made it easier for users to integrate Orbix with their
  49. security systems providing for improved reliability of distributed systems
  50. built using Orbix. IONA has also extensively extended the number, and scope, of
  51. code examples it ships with the product to help developers learning how to use
  52. the system. 
  53.  
  54. IONA released Orbix for SunSoft Solaris and SunOS at the Object World 
  55. exhibition in San Francisco, Calif., June 1993.  Since then it has rolled
  56. out versions of Orbix for Microsoft Windows NT,  Silicon Graphics IRIX  and
  57. HP/UX. IONA demonstrated a version of Orbix for Microsoft Windows 3.1 at
  58. Object World in London, England last October.  Orbix for Microsoft Windows
  59. 3.1 is now in beta.  In January 1994, IONA and SunSoft Inc. signed an
  60. agreement to align their implementations of CORBA. The two companies
  61. demonstrated interoperability between IONA's Orbix running on Microsoft
  62. Windows 3.1 and SunSoft's Distributed Objects Everywhere (DOE) on Solaris.
  63.  
  64. In addition Orbix-TP, integration with Tuxedo for transaction processing, has 
  65. just entered beta testing. Work is underway on Orbix-FT, integration with
  66. the Isis distributed system, will deliver a fault-tolerant ORB.
  67.  
  68. Paul Hickey,                                        tel: +353-1-6686522
  69. Iona Technologies Ltd.,                             fax: +353-1-6686573
  70. 8-34 Percy Place,                                   email: pth@iona.ie
  71. Dublin 4
  72. Ireland
  73.  
  74. Availability
  75. ------------
  76.  
  77. The full Orbix availability and release schedule looks like:
  78.  
  79. Operating System    C++ Compiler        Release
  80.                         Date 
  81. -------------------------------------------------------
  82. SunOS 4.1             SPARCompiler 2.1    NOW
  83. SunOS 4.1             SPARCompiler 3.0.2  NOW
  84. SunOS 4.1             Lucid 3.1           NOW
  85. SunOS 4.1             GNU 2.5.8           NOW
  86. Solaris 2.x           SPARCompiler 3.0.2  NOW
  87. Solaris 2.x           SPARCompiler 4.0    NOW
  88. Solaris 2.x           GNU 2.5.7           NOW
  89. IRIX 4.0.5H           Native              NOW
  90. IRIX 5.x              Native              NOW
  91. HP-UX                 Native              NOW
  92. Microsoft Windows NT  Visual C++          NOW
  93. Microsoft Windows NT  Borland             NOW
  94. Microsoft Windows 3.1 Visual C++          In Beta
  95. IBM AIX               C Set++             4th Qtr
  96. OSF/1                 DEC C++             4th Qtr
  97. SCO                   Native              4th Qtr
  98. UnixWare              Computer Innovations 4th Qtr
  99. Ultrix                DEC C++             4th Qtr
  100.  
  101. Release of Orbix on OS/2 is also imminent.
  102.  
  103. Documents Available from IONA
  104. -----------------------------
  105.  
  106.     electronic mail server     - server@iona.ie
  107.     anonymous ftp file server  - ftp ftp.iona.ie
  108.     World Wide Web             - http://www.iona.ie/
  109.  
  110.  
  111. > NCR 'Cooperative Frameworks' -- a Distributed Object Foundation
  112.  
  113. From: Randy Volters <randy.volters@columbiasc.ncr.com>
  114. Subject: re-post: NCR Cooperative Frameworks (new phone no.)
  115.  
  116. November 19, 1993
  117.  
  118. NCR ANNOUNCES BETA AVAILABILITY
  119. OF 'Cooperative Frameworks' -- 
  120. a Distributed Object Foundation
  121.  
  122. Product Background -
  123. NCR Cooperative Frameworks(TM) were first released for sale 
  124. in 10/1991 as "the frameworks" part of the NCR COOPERATION(TM) 
  125. product, and are based on NCR's submission to OMG.  
  126. Cooperative Frameworks release 3.0 makes the product 
  127. available apart from COOPERATION. 
  128.  
  129. Product Description -
  130. Cooperative Frameworks is a distributed object foundation 
  131. for building computing applications and services on networks 
  132. of heterogeneous computers.
  133.  
  134. Cooperative Frameworks consists of an integrated suite of 
  135. C++ class libraries that:
  136.  
  137.     -    defines and implements a comprehensive enterprise 
  138.         architecture and methodology for creating 
  139.         distributed implementations of C++ classes over 
  140.         networks
  141.  
  142.     -    allows customers to build and use object services 
  143.         over a network 
  144.  
  145.     -    supports TCP/IP, NetBIOS, Lan Manager NetBEUI and 
  146.         OSI protocols, X.25
  147.  
  148. NCR Cooperative Frameworks currently has two portable ORB 
  149. toolkits (others are planned for future release) -- 
  150. (1) C++ ORB toolkit consisting of over 300 C++ classes and 
  151.     runtime libraries
  152.  
  153. (2) CORBA 1.1 toolkit  Both are for:
  154.  
  155.     -    wrapping existing databases and legacy 
  156.         applications for improved availability
  157.         and maintainability on systems of heterogeneous 
  158.         computers, operating systems and networks
  159.  
  160.     -    building next-generation, object-oriented, 
  161.         distributed computing applications for
  162.         networks of heterogeneous computers, operating 
  163.         systems and network operating systems
  164.  
  165. Cooperative Frameworks come with predefined object services 
  166. for implementing distributed systems:
  167.  
  168.     -    Naming - network implementation of X.500 directory 
  169.         provides object naming service
  170.  
  171.     -    Logging - provides local and server based error 
  172.         logging
  173.  
  174.     -    Fine-grain Data Management - class libraries are 
  175.         designed around fine grained objects, developers can 
  176.         build distributed objects as large or as small as 
  177.         needed
  178.  
  179.     -    Persistence - the same object stream model for 
  180.         communication between internal ORB functions is used to 
  181.         support object persistence.  Persistent objects can be 
  182.         files, relational or object databases
  183.  
  184.     -    Dynamic Service Location - provides a mechanism for 
  185.         registering services and entities in a distributed 
  186.         system and invoking targeted services based on service 
  187.         characteristics -- rather than names
  188.  
  189.     -    Dynamic Service Activation - provides a mechanism for 
  190.         object activation when method invocations are required, 
  191.         and deactivation when not needed
  192.  
  193.     -    Event Service (Release 3.1) - Implements an OMG/JOSS 
  194.         compliant event service
  195.  
  196.     -    Network Configuration Tools - simplifies creation of 
  197.         directory entries required for cross domain operation 
  198.         in a multiple domain heterogeneous network.
  199.  
  200. NCR Cooperative Frameworks run on multiple UNIX platforms, 
  201. including HP-UX, Sun Solaris, NCR 3000 UNIX and NCR 
  202. StarServer UNIX SVR4; and on MS Windows 3.1.  Cooperative 
  203. Frameworks has been demonstrated on Novell NetWare v3.11, 
  204. and was originally developed on MS OS/2 v1.x.  Development 
  205. environments supported include CFRONT and C++ Workbench from 
  206. NCR, HP Softbench Sun SPARCworks and Borland IDE.
  207.  
  208. Implementation - implementation is for client/server system 
  209. architectures as a set of DLL and shared libraries
  210.  
  211. Languages used for IDL mapping - IDL bindings for C, (or 
  212. object services can be implemented directly in C++)
  213.  
  214. Release date - Release 3.0 is available now to early 
  215. developers with general availability set for December, 1993; 
  216. Release 3.1 will be available to early developers 1Q 1994 
  217. with general availability set for 2Q 1994
  218.  
  219. Product interoperability - Full interoperability between NCR 
  220. Cooperative Framework implementations on supported platforms 
  221. is available now; interoperability with selected CORBA 1.1 
  222. ORBs and CORBA 2.0 ORBs is planned
  223.  
  224. Company Name -
  225. NCR Corporation (An AT&T Company)
  226.  
  227. Address --    Software Products Division-Columbia
  228.             3245 Platt Springs Road
  229.             West Columbia SC 29170
  230.  
  231.             Phone
  232.             (803) 939-7500
  233.             FAX
  234.             (803) 939-7745
  235.             Contact Name
  236.             Randy Volters, Sr. Product Manager
  237.             Cooperative Frameworks
  238.             Email: Randy.Volters@ColumbiaSC.NCR.COM
  239.             Ext. 7774
  240.  
  241. Company Description -
  242. NCR, AT&T's computer business, brings computing and 
  243. communications solutions together to provide people easy 
  244. access to information and to each other -- anytime, 
  245. anywhere.
  246.  
  247.  
  248. > Suite Software SuiteDOME
  249.  
  250. Product:  DOME - Distributed Object Management Environment
  251.  
  252. Company:  Object Oriented Technologies Ltd
  253.           118-120, Warwick Street, Leamington Spa, CV32 4QY  England
  254.  
  255. Contact:  Chris Nugent,  email: chris@rtc.co.uk
  256.           tel: +44 (0)926 313133  fax: +44 (0)926 422165
  257.                         
  258. Short Description:
  259.         DOME provides heterogenous distribution across many platforms
  260.         and networks, including:
  261.             UNIX, Windows, Windows NT, OS/2, OSF/1 (AXP), OpenVMS, 
  262.             SunOs, Solaris, HP-UX, SGI Unix, Stratus FTX,
  263.             TCP/IP, NetBIOS, XTI
  264.         As a fully peer-to-peer product DOME can be used to build systems
  265.         using any combination of the above.
  266.  
  267. Long Description:
  268.         DOME is an ORB toolkit for the production of user-configured
  269.         ORBs and servers. It is a multi-threaded high performance ORB
  270.         suitable for use in large scale commercial systems and embedded 
  271.         real-time systems.
  272.  
  273.         DOME is non-intrusive, meaning that the application development
  274.         is separated from the means of distribution and the problem of
  275.         distributed object management; this allows the application to
  276.         be built and tested on a single machine using local resources.
  277.         Existing software can also be incorporated easily, providing
  278.         integration for legacy systems.
  279.  
  280.         DOME is constructed as a C++ class library, from which ORBs
  281.         can be configured and constructed to best suit the runtime
  282.         environment. This provides great flexibility since new classes
  283.         can be derived from existing ones and the resulting configurations 
  284.         implemented to user-specific requirements.
  285.  
  286.         Database distribution can be as simple persistent files, 
  287.         RDBMSs, OODMS, or a combination of these.
  288.  
  289.         DOME has a CORBA-conformant interface, and is CORBA 1.0 compliant
  290.         with the following divergences -
  291.         additions:
  292.         - full C++ binding,
  293.         - integral support for GUI development,
  294.         - network monitoring & analysis,
  295.         - transaction management,
  296.         - location broking,
  297.         - enhanced security;
  298.         ommissions:
  299.         - dynamic invocation, which is seen as detrimental to performance 
  300.           and network security; however, DOME does allow stream operators 
  301.           to perform the same function.
  302.  
  303.         DOME was first released in August 1993; version 2 in May 1994.
  304.  
  305.  
  306. 3.8.7  Books, Articles, And Literature
  307. --------------------------------------
  308.  
  309. This section is expected to grow considerably in the future.
  310.  
  311. "Distributed Object Computing With CORBA", C++ Report, July/August 1993
  312.  
  313. The Object Database Standard: ODMG-93
  314. edited by: R.G.G. Cattell
  315. published by Morgan Kaufmann Publishers, San Mateo, California
  316. [Covers CORBA standards with respect to OODBs]
  317.  
  318.  
  319. 3.9)  Why Is Garbage Collection a Good Thing?
  320. ---------------------------------------------
  321.  
  322.   From: Paul Johnson (paj@gec-mrc.co.uk)
  323.  
  324. Garbage collection (GC) is a facility in the run-time system associated with a
  325. language which will automatically reclaim objects which are no longer used.
  326. OO Languages which require garbage collection include Eiffel, Smalltalk and
  327. CLOS.  C and C++ can have garbage collection retrofitted (see [3] below).
  328. [Ada has switchable GC, too -bob]
  329.  
  330. Without GC programmers must explicitly deallocate dynamic storage when
  331. it is no longer needed (in C this is done by a call to free(3)).
  332. There are a number of problems with this:
  333.  
  334. 1: Bugs due to errors in storage deallocation are very hard to find,
  335.    although products are available which can help.
  336.  
  337. 2: In some circumstances the decision about whether to deallocate
  338.    storage cannot be made by the programmer.  Drawing editors and
  339.    interpreters often suffer from this.  The usual result is that the
  340.    programmer has to write an application-specific garbage collector.
  341.  
  342. 3: An object which is responsible for deallocating storage must be
  343.    certain that no other object still needs that storage.  Thus many
  344.    modules must co-operate closely.  This leads to a tight binding
  345.    between supposedly independent modules.
  346.  
  347. 4: Libraries with different deallocation strategies are often
  348.    incompatible, hindering reuse.
  349.  
  350. 5: In order to avoid problems 3 and 4, programmers may end up copying
  351.    and comparing whole objects rather than just references.  This is a
  352.    particular problem with temporary values produced by C++ overloaded
  353.    operators.
  354.  
  355. 6: Because keeping track of storage is extra work, programmers often
  356.    resort to statically allocated arrays.  This in turn leads to
  357.    arbitrary restrictions on input data which can cause failure when
  358.    the assumptions behind the chosen limits no longer apply.  For
  359.    instance many C compilers limit expression nesting, identifier
  360.    length, include file nesting and macro stack depth.  This causes
  361.    problems for programs that generate C.
  362.  
  363. One partial solution to a lack of GC is reference counting.  In this
  364. scheme each object keeps a count of references to it.  When this count
  365. drops to zero the object is automatically deallocated.  However this
  366. is inefficient (swapping two references will result in three
  367. decrements, three increments and six comparisons) and cannot reclaim
  368. circular data structures.  Two systems that use a reference count GC
  369. are the Interviews C++ graphics library and the Unix file system (the
  370. link count).
  371.  
  372. Opponents of GC reply that it introduces an overhead which is
  373. unacceptable in some applications.  However the overhead of manual
  374. storage deallocation is probably as high as GC.  GC algorithms are
  375. also available with good real-time behaviour.
  376.  
  377. [Further, GC can perform compaction improving locality of reference.]
  378.  
  379. Further Reading:
  380.  
  381. [1] "Object-Oriented Software Construction" by Meyer puts the argument
  382. for GC.
  383.  
  384. [2] "Uniprocessor Garbage Collection Techniques," by Paul R. Wilson,
  385. in Memory Management (proceedings of 1992 Int'l Workshop on Memory 
  386. Management, Sept. 1992, St. Malo, France, Yves Bekkers and Jacques Cohen, 
  387. eds.), Springer Verlag Lecture Notes in Computer Science #637.
  388.  
  389. This is an excellent summary of the state of the art in GC algorithms.  This
  390. and other papers about garbage collection are available in PostScript via
  391. anonymous ftp (cs.utexas.edu:pub/garbage/gcsurvey.ps.  [See APPENDIX E]
  392.  
  393. [3] "Garbage Collection in an Uncooperative Environment" by Boehm and
  394. Weiser.  Software --- Practise and Experience vol 18(9), pp 807-820.
  395. Sept 1988.  This describes GC in C and C++.
  396.  
  397.  
  398. 3.10)  What Can I Do To Teach OO To The Kids?
  399. ---------------------------------------------
  400.  
  401. Smalltalk (in its original 1972 version) was initially intended to make
  402. computer programming easy enough for children.  The idea was that manipulating
  403. objects was something more intuitive and natural than coding procedures.
  404.  
  405. Other entries or suggestions are welcome, please send to the author of the FAQ.
  406.  
  407.  
  408. 3.11) What Is Available On Object-Oriented Testing?
  409. ---------------------------------------------------
  410.  
  411. [This entry was donated by Doug Shaker and is certainly a FAQ]
  412.  
  413. Testing of Object-Oriented Programming (TOOP) FAQ/Resource Summary
  414.  
  415. Posted to comp.object, comp.lang.c++, comp.lang.smalltalk and
  416. comp.software.testing.
  417.  
  418. Last revised on 93.10.27.  The most notable change is in the additions
  419. to the Software section.  Also a couple of articles added to the
  420. Written Material section.
  421.  
  422.  
  423. > What?
  424.  
  425. This is a summary of resources on the Testing of Object-Oriented
  426. Programming that have been mentioned to me over the net, in email,
  427. or other means.  Sections include Written Material, Courses, and
  428. Software.  It is kind of like an FAQ, though it isn't organized 
  429. that way.
  430.  
  431. > Who?
  432.  
  433. I work for a Unix software house, Qualix Group, in the US.   Here is
  434. my sig:
  435.  - Doug Shaker
  436.     voice:    415/572-0200
  437.     fax:    415/572-1300
  438.     email:    dshaker@qualix.com
  439.     mail:    Qualix Group
  440.         1900 S. Norfolk St., #224
  441.         San Mateo, CA 94403
  442. I am NOT a researcher on the testing of object-oriented programming.
  443. I just collate the stuff that is sent to me by people who REALLY know
  444. something.  See the section "ACKs" at the end.
  445.  
  446. I just think it is important.
  447.  
  448. > Why?
  449.  
  450. Why is this important? If classes are really to be reused in
  451. confidence, they must be blatantly correct.  The classes must be easily
  452. testable during initial evaluation by the client programmer.  They must
  453. also be testable under different OS configurations, different compiler
  454. optimizations, etc.  This means that testing modules must be
  455. constructed in a way which is recognized as correct and the modules
  456. must be shipped with the class libraries.  
  457.  
  458. As soon as one major class library vendor starts to ship real test code
  459. with their libraries, all of the other vendors will be forced, by
  460. market pressure, to do so as well, or face market share erosion.  Think
  461. about it.  If you had to recommend a class library to a committee that
  462. was choosing a basis for the next five years of work, wouldn't you feel
  463. safer with a class library that could be auto-tested in your
  464. environment?
  465.  
  466.  
  467. > Written Material
  468.  
  469. Berard, Edward.  Essays on Object-Oriented Software Engineering.  
  470.     Prentice-Hall, Englewood Cliffs, NJ. $35.
  471.     This book has two chapters on testing of object-oriented software, 
  472.     focusing on how to do it.
  473.  
  474. Berard, Edward.  Project Management Handbook.  Must be purchased
  475.     direct from Berard Software Engineering, Ltd., 902 Wind River
  476.     Lane, Suite 203, Gaithersburg, Maryland 20878.  $225.
  477.     The book focuses on the management of OOP projects.  It
  478.     includes one chapter on testing OO software and one chapter
  479.     on quality assurance.
  480.  
  481. Bezier, Boris, "Software Testing Techniques", 2nd edition, Van Nostrand
  482.     Reinhold, 1990, 503pp, $43, ISBN 0-442-20672-0.  While this is
  483.     not specifically about testing of OOP, it is mentioned so often
  484.     by so many people as a definitive software testing work, that
  485.     I have to mention it anyway.
  486.  
  487. Cheatham Thomas J., and Lee Mellinger, "Testing Object-Oriented
  488.     Software Systems",  Proceedings of the 18th ACM Annual Computer
  489.     Science Conference, ACM, Inc., New York, NY, 1990, pp. 161-165.
  490.  
  491. Doong, Roong-Ko and Phyllis G. Frankl, "Case Studies on Testing 
  492.     Object-Oriented Programs", Proceedings of the 4th Symposium on
  493.     Testing, Analysis, and Verification (TAV4), 1991, ACM, Inc.,
  494.     New York, NY, 1991, pp. 165-177.
  495.  
  496. Fiedler, Steven P., "Object-Oriented Unit Testing", Hewlett-Packard 
  497.     Journal, April, 1989, pp. 69-74.
  498.  
  499. Firesmith, D.G., "Testing Object-Oriented Software", Proceedings 
  500.     of 11th. TOOLS USA Conference, Santa Barbara, Aug 1993, pp 407-426.
  501.  
  502. Frankl, Phyllis G. and Roong-Ko Doong, "Tools for Testing 
  503.     Object-Oriented Programs", Proceedings of the 8th Pacific
  504.     Northwest Conference on Software Quality, 1990, pp. 309-324.
  505.     One author can be reached at pfrankl@polyof.poly.edu.
  506.  
  507. Graham, J.A., Drakeford, A.C.T., Turner, C.D. 1993. The Verification, 
  508.     Validation and Testing of Object Oriented Systems, BT Technol
  509.     J.  Vol 11, No 3. One author's email address is
  510.     jgraham@axion.bt.co.uk.
  511.  
  512. Harrold, Mary Jean, John D. McGregor, and Kevin J. Fitzpatrick, 
  513.     "Incremental Testing of Object-Oriented Class Structures",
  514.     International Conference on Software Engineering, May, 1992,
  515.     ACM, Inc., pp. 68 - 80.
  516.  
  517. Hoffman, Daniel and Paul Strooper.  A Case Study in Class Testing.
  518.     To be Presented at the IBM Center for Advanced Studies Fall
  519.     Conference, October 1993, Toronto.  Email addresses for authors
  520.     are dhoffman@csr.uvic.ca and pstropp@cs.uq.oz.au.  Describes an
  521.     approach to testing which the authors call Testgraphs.  An
  522.     example is worked out in C++ which tests a commercial class.
  523.  
  524. Hoffman, D. M.  A CASE Study in Module Testing.  In Proc. Conf. Software
  525.     Maintenance, pp. 100-105. IEEE Computer Society, October 1989.
  526.  
  527. Hoffman, D.M. and P.A. Strooper.  Graph-Based Class Testing.  In 
  528.     7th Australian Software Engineering Conference (to appear), 1993.
  529.  
  530. Klimas, Edward "Quality Assurance Issues for Smalltalk Based Applications", 
  531.     The Smalltalk Report, Vol. 1, No. 9, pp.3-7.  The author's
  532.     email address is "ac690@cleveland.freenet.edu".
  533.  
  534. Lakos, John S.  "Designing-In Quality in Large C++ Projects" Presented
  535.     at the 10th Annual Pacific Northwest Software Quality Conference,
  536.     Portland, Oregon, October 21, 1993.  Abstract:
  537.         The focus of this paper is on ensuring quality by
  538.         designing software that avoids acyclic component
  539.         dependencies.  This in-turn permits incremental,
  540.         hierarchical testing.  The importance of good physical
  541.         design becomes a key factor only for large and very
  542.         large projects.  Intuition gained from smaller projects
  543.         leads to errors in large designs.  Compile-coupling
  544.         ("Insulation") is also discussed.
  545.     Copies of the postscript file can be obtained by sending email
  546.     to "john_lakos@warren.mentorg.com".
  547.  
  548. Leavens, G. T., "Modular Specification and Verification of 
  549.     Object-Oriented Programs", IEEE Software, July 1991, pp. 72-80.
  550.  
  551. Love, Tom.  Object Lessons.  SIGS Books, 588 Broadway #604, New York, NY 
  552.     10012. $49.
  553.     This book eloquently elucidates the need for testing of object-
  554.     oriented code and has a chapter on how it was done at Stepstone
  555.     during the first release of their initial class library.
  556.  
  557. Marick, Brian.  The Craft of Software Testing, Prentice-Hall, in press.
  558.     Makes the argument that testing of object-oriented software is
  559.     simply a special case of testing software which retains state
  560.     and which is reused.  The author can be reached at 
  561.     info@testing.com.
  562.  
  563. Narick, Brian. "Testing Software that Reuses", Technical Note 2, Testing
  564.     Foundations, Champaign, Illinois, 1992. Copies may be obtainable 
  565.     via email. The author can be reached at info@testing.com.
  566.  
  567. Murphy, G.C., Wong, P. 1992, Towards a Testing Methodology for 
  568.     Object Oriented Systems, M.P.R Teltech Ltd. A poster at the
  569.     Conference on Object Oriented Programming Systems, Languages
  570.     and Applications ACM. Copies of this paper can be obtained
  571.     through townsend@mprgate.mpr.ca.
  572.  
  573. Murphy, G. and P. Wong.  Object-Oriented Systems Testing Methodology: An
  574.     Overview.  Techical Report TR92-0656, MPR Teltech Ltd., October 
  575.     1992.
  576.  
  577. Perry, D.E. and G.E. Kaiser, "Adequate Testing and Object-Oriented 
  578.     Programming", Journal of Object-Oriented Programming, 
  579.     2(5):13-19, Jan/Feb 1990.
  580.  
  581. Purchase, Jan A. and Russel L. Winder, "Debugging tools for 
  582.     object-oriented programming", Journal of Object-Oriented 
  583.     Programming, June, 1991, Vol. 4, No. 3, pp. 10 - 27.
  584.  
  585. Smith, M. D. and D. J. Robson, " A Framework for Testing Object-Oriented 
  586.     Programs", JOOP, 5(3):45-53, June 1992.
  587.     Describes ways in which the usual approach to software testing
  588.     could be adapted for object-oriented software.
  589.     This paper, or one with the same title and authors, is
  590.     available by anonymous ftp from vega.dur.ac.uk as
  591.     "/pub/papers/foot.dvi".
  592.  
  593. Smith, M. D. and D. J. Robson, "Object-Oriented Programming - the 
  594.     Problems of Validation",  Proceedings of the 6th International 
  595.     Conference on Software Maintenance 1990, IEEE Computer Society 
  596.     Press, Los Alamitos, CA., pp. 272-281.
  597.  
  598. Taylor, David. "A quality-first program for object technology", Object 
  599.     Magazine, Vol. 2, No. 2, July-August 1992, pp17-18. SIGs
  600.     Publications.  The article talks some about why testing is
  601.     important for OOP and describes one quality program.
  602.  
  603. Theilen, David.  "No Bugs.  Delivering error free code in C and C++.",
  604.     Addison-Wesley, 1992, ISBN:0-201-60890-1.
  605.  
  606. Turner, C. D. and D. J. Robson, "The Testing of Object-Oriented Programs",
  607.     Technical Report TR-13/92, Computer Science Division, School of
  608.     Engineering and Computer Sciences (SECS), University of Durham,
  609.     England.
  610.     Includes a survey of existing literature on testing of OO
  611.     programs.  Testing of OOP is compared with traditional software
  612.     testing.  A state-based approach is described.
  613.     This paper is available by anonymous ftp from vega.dur.ac.uk in
  614.     /pub/papers. Get "toop.ps.Z" for A4 paper and "toopus.ps.Z" for
  615.     US letter paper formatting.
  616.  
  617. Turner, C. D. and D. J. Robson, "A Suite of Tools for the State-Based
  618.     Testing of Object-Oriented Programs", Technical Report
  619.     TR-14/92, Computer Science Division, School of Engineering and
  620.     Computer Science (SECS), University of Durham, Durham,
  621.     England.  Describes a series of tools for the generation and
  622.     execution of test cases for OOP.  These tools assume a
  623.     state-based testing approach.
  624.     This paper is available by anonymous ftp from vega.dur.ac.uk in
  625.     /pub/papers.  Get "tools.ps.Z" for A4 paper formatting or get
  626.     "toolsus.ps.Z" for US letter formatting.
  627.  
  628. Turner, C. D. and D. J. Robson, "Guidance for the Testing of Object-
  629.     Oriented Programs", Technical Report TR-2/93, Computer Science
  630.     Division, School of Engineering and Computer Science (SECS),
  631.     University of Durham, Durham, England.  Discusses different
  632.     methods of making class declarations and the implications of
  633.     those methods for testing.
  634.     This paper is available by anonymous ftp from vega.dur.ac.uk in
  635.     /pub/papers.  Get "guide.ps.Z" for A4 paper formatting or get
  636.     "guideus.ps.Z" for US letter formatting.
  637.  
  638. Turner, C. D. and D. J. Robson, "State-Based Testing and Inheritance",
  639.     Technical Report TR-1/93, Computer Science Division, School of
  640.     Engineering and Computer Science (SECS), University of Durham,
  641.     Durham, England.
  642.     Discusses the implications of inheritance for testing,
  643.     particularily incremental testing.
  644.     This paper is available by anonymous ftp from vega.dur.ac.uk in
  645.     /pub/papers.  Get toopinht.ps.Z" for A4 paper formatting or get
  646.     "toopinhtus.ps.Z" for US letter formatting.
  647.  
  648. Wong, P. Automated Class Exerciser (ACE) User's Guide.  Technical
  649.     Report TR92-0655, MPR Teltech Ltd., September 1992.
  650.  
  651. > Courses
  652.  
  653. Berard Software Engineering, Inc. teaches a seminar on Testing of
  654. Object-Oriented Software (TOOS).  The next one scheduled that I know of
  655. is November 8-12, in Washington.  Call 301-417-9884 for details.
  656.  
  657. Quality Fractals, Inc. has a course called "Testing Object-Oriented
  658. Software".  Contact: 508-359-7273 (Box 337, Medfield, MA 02052).  The
  659. course is taught by Shel Siegel of YESS!, Inc.  Contact: 916-944-1032.
  660.  
  661.  
  662. > Software
  663.  
  664. There is a smalltalk class library in the Univ. of Illinois archives
  665. which includes a simple Tester class written by Bruce Samuelson
  666. (bruce@utafll.uta.edu). It is a general superclass for application
  667. specific classes that test non-interactive objects such as trees,
  668. collections, or numbers. It is not suitable for testing user interface
  669. components such as windows, cursors, or scroll bars. The filein
  670. includes Tree classes, Tester itself, and subclasses of Tester that are
  671. used to validate the Tree classes. For ParcPlace Smalltalk (ObjectWorks
  672. 4.1 and VisualWorks 1.0). To get it ftp the file
  673. "/pub/st80_vw/TreeLW1.1" from st.cs.uiuc.edu.
  674.  
  675. IPL Ltd. (in the UK) has a testing tool called Cantata which allows for
  676. testing C++, but as far as I am able to determine, it has no special
  677. features for C++ testing.  From the product literature:
  678.     Cantata allows testing to be performed in an intuitive way
  679.     making the tool exceptionally easy to use and productive in
  680.     operation. Cantata is suitable for testing software written in
  681.     either C or C++.
  682.  
  683.     Cantata provides comprehensive facilities for all forms of
  684.     dynamic testing, including: functional testing, structural
  685.     testing, unit testing and integration testing. Cantata has been
  686.     specifically designed to operate in both host and target
  687.     systems and so allow full portability of tests between these
  688.     environments.
  689. For more information contact IPL:
  690.     IPL Ltd.
  691.     Eveleigh House, Grove Street, 
  692.     Bath  BA1 5LR
  693.     UK
  694.     (0225) 444888
  695.     (0225) 444400 (FAX)
  696.     email: shaun@iplbath.demon.co.uk
  697.  
  698. TestCenter from CenterLine will do coverage testing of C++ (and C)
  699. code.  Also does some memory debugging (similar to Purify) and regression
  700. testing.  Highlights from CenterLine literature:
  701.   *Automatic run-time error-checking on executables to enhance quality 
  702.   *Automatic memory leak detection on executables to optimize memory use
  703.   *Graphical test coverage to highlight any code not executed during test runs
  704.   *Intuitive GUI for easy test analysis 
  705.   *Programmatic interface to output files and cumulative code coverage 
  706.    to support batch-mode and regression testing
  707.   *No recompilation needed, resulting in quick turnaround
  708.   *Complete C and C++ language support
  709.   *Integration with leading programming tools for maximum productivity gains
  710.  
  711. MicroTech Pacific Research (mpr.ca) has a C++ class testing tool called
  712. ACE (Automated Class Exerciser) which is available under non-disclosure
  713. agreement.  It is not currently for sale.  If you are interested,
  714. contact Paul Townsend, townsend@mprgate.mpr.ca.
  715.  
  716. Software Research Inc. (625 Third St, San Francisco, CA 94107-1997,
  717. voice: 1-415-957-1441, email: info@soft.com) has a coverage tool for C++
  718. that is called tcat++.  It is an extension of SRI's tcat program.
  719.  
  720. Quality Assured Software Engineering (938 Willowleaf Dr., Suite 2806,
  721. San Jose, CA 95128, voice: 1-408-298-3824 ) has a coverage tool for
  722. C and C++ called MetaC.  It also dones some syntax checking and memory
  723. allocation checking.
  724.  
  725. A group of volunteers is building a C++ test harness for the automated
  726. testing of C++, C and Perl programs.  The system is called ETET (Extended
  727. Test Environment Toolkit).  To join the group of volunteers, send email to
  728.     etet_support@uel.co.uk
  729. The software is available via anonymous FTP from bright.ecs.soton.ac.uk
  730. (152.78.64.201) as "/pub/etet/etet1.10.1.tar.Z".  They are looking for
  731. other FTP sites - sned email to the above address if you can provide
  732. one.  This is a beta release and _should_ compile on any POSIX.1 system.
  733. As much of this work is being done by SunSoft, my guess is that the
  734. software will have the fewest problems on SunOS or Solaris releases.
  735.  
  736. > ACKs
  737.  
  738. Thanks to the following for helping assemble this list:
  739.     Benjamin C. Cohen, bcohen@scdt.intel.com
  740.     Brian Marick, marick@hal.cs.uiuc.edu
  741.     Bruce Samuleson, bruce@utafll.uta.edu
  742.     Daniel M. Hoffman, dhoffman@uvunix.uvic.ca
  743.     Edward Klimas, ac690@cleveland.freenet.edu
  744.     John Graham, J.Graham@axion.bt.co.uk
  745.     Jim Youlio, jim@bse.com
  746.     Jeffery Brown, jeffrey.brown@medtronic.com
  747.     Lars Jonsson, konlajo@etna.ericsson.se
  748.     Manfred Scheifert, ch_schie@rcvie.co.at
  749.     Mark Swanson, mswanson@mechmail.cv.com
  750.     Mary L. Schweizer, mary@gdwest.gd.com
  751.     Michael Einkauf, Michael_Einkauf@iegate.mitre.org
  752.     Paul Townsend, townsend@mprgate.mpr.ca
  753.     Phyllis G. Frankl, pfrankl@polyof.poly.edu
  754.     Rachel Harrison, rh@ecs.soton.ac.uk
  755.     Risto Hakli, rkh@tko.vtt.fi
  756.     Russ Hopler, russ@bse.com
  757.     Stephane Barbey, barbey@di.epfl.ch
  758.     Tony Reis, tonyr@hpsadln.sr.hp.com
  759.     Yawar Ali, yali@bnr.ca
  760.  
  761.  
  762. 3.12) What Distributed Systems Are Available?
  763. ---------------------------------------------
  764.  
  765. The following post helps to provide some answers with at least a partial list.
  766. See also Appendix E.
  767.  
  768. From: rmarcus@bcsaic.boeing.com (Bob Marcus)
  769. Newsgroups: comp.object,comp.client-server
  770. Subject: Distributed Computing Products Overview
  771. Date: 17 Sep 93 00:02:40 GMT
  772. Organization: Boeing Computer Services
  773.            
  774.              DISTRIBUTED COMPUTING PRODUCTS OVERVIEW
  775.  
  776.   There was a recent posting concerning the relationship between OMG's CORBA
  777.  and Distributed Transaction Processing Monitors. In general, there is a lot of
  778.  uncertainty as to how the various distributed computing tools, products and
  779.  environments might work together.  Below is the outline of an eight-page
  780.  posting to the Corporate Facilitators of  Object-Oriented Technology (CFOOT)
  781.  mailing list addressing these issues. Let me know if you would like a copy
  782.  of the posting and/or to be added to the CFOOT mailing list. 
  783.      
  784.                                           Bob Marcus 
  785.                                           rmarcus@atc.boeing.com
  786.  -----------------------------------------------------------------------
  787.  SOME GENERAL REFERENCES FOR ADDITIONAL INFORMATION 
  788.  -----------------------------------------------------------------------
  789.  MULTIPROTOCOL NETWORK TRANSPORTS
  790.  
  791.   Peer Logic (PIPES)
  792.   ATT (Transport Layer Interface) 
  793.  -----------------------------------------------------------------------
  794.  MICROKERNELS
  795.  
  796.   OSF(Mach)
  797.   Chorus Systems (Chorus)
  798.   Microsoft (NT)
  799.  -----------------------------------------------------------------------
  800.  REMOTE PROCEDURE CALLS
  801.  
  802.   NobleNet (EZ-RPC)
  803.   Netwise (Netwise-RPC) 
  804.   ATT/Sun (TI-RPC)
  805.   OSF (DCE/RPC)
  806.  -----------------------------------------------------------------------
  807.  CONVERSATIONAL PROGRAMMING
  808.  
  809.   IBM(Common Programming Interface-Communications)
  810.  -----------------------------------------------------------------------
  811.  MESSAGING PRODUCTS
  812.  
  813.   System Strategies/IBM (MQ Series)
  814.   Horizon Strategies (Message Express) 
  815.   Covia Systems(Communications Integrator)
  816.   Momentum Software(X-IPC)
  817.   Creative System Interface (AAI)
  818.   Digital (DECmessageQ)
  819.   HP (Sockets)(BMS)
  820.   IBM (DataTrade)(DAE)
  821.   Suite Software (SuiteTalk)
  822.   Symbiotics (Networks)
  823.  -----------------------------------------------------------------------
  824.  PUBLISH AND SUBSCRIBE MESSAGING 
  825.  
  826.   Sun(Tooltalk)
  827.   Teknekron (Teknekron Information Bus)
  828.   ISIS(Distributed News)
  829.   Expert Database Systems (Rnet)
  830.  ----------------------------------------------------------------------
  831.  DISTRIBUTED COMPUTING ENVIRONMENTS
  832.  
  833.   OSF/DCE
  834.   ISIS(Distributed Toolkit)
  835.  -----------------------------------------------------------------------
  836.  TRANSACTION PROCESSING MANAGERS 
  837.  
  838.   Unix Systems Lab (Tuxedo) 
  839.   Information Management Company (Open TransPort) 
  840.   NCR (TopEnd)
  841.   Transarc (Encina)
  842.   IBM/HP/Transarc (Open CICS)
  843.  -----------------------------------------------------------------------
  844.  DISTRIBUTED WORKSTATION EXECUTION SYSTEMS
  845.  
  846.   Aggregate Systems (NetShare)
  847.   Platform Computing(Utopia)
  848.   ISIS(Resource Manager)
  849.  -----------------------------------------------------------------------
  850.  OBJECT REQUEST BROKERS 
  851.  
  852.   Hyperdesk (Distributed Object Manager)
  853.   IBM Distributed System Object Model(DSOM)
  854.   Microsoft (Distributed OLE)
  855.   Iona Technologies Ltd. (Orbix) 
  856.   BBN (Cronus)
  857.   ISIS (RDOM)
  858.   Qualix (NetClasses)
  859.   Symbiotics (Networks!)
  860.   Digital(ACA Services) 
  861.   Suite Software (SuiteDOME)
  862.  -----------------------------------------------------------------------
  863.  SYSTEM MANAGEMENT  
  864.  
  865.   OSF (Distributed Management Environment)
  866.   Legent
  867.   Digital Analysis (HyperManagement)
  868.  -----------------------------------------------------------------------
  869.  DISTRIBUTED DEVELOPMENT/EXECUTION PRODUCTS   
  870.  
  871.   Texas Instruments (Information Engineering Facility)
  872.   HP (SoftBench)
  873.   Digital (COHESIONworX) 
  874.  -----------------------------------------------------------------------
  875.  DISTRIBUTED DEVELOPMENT/EXECUTION PRODUCTS   
  876.  
  877.   Independence Technologies (iTRAN)
  878.   Intellicorp(Kappa) 
  879.   ISIS Distributed Systems (RDOM) 
  880.   Early, Cloud & Company (Message Driven processor)
  881.   Expersoft(XShell)
  882.   Cooperative Solutions(Ellipse)
  883.  -----------------------------------------------------------------------
  884.  
  885.  
  886. 3.13) What Is The MVC Framework?
  887. --------------------------------
  888.  
  889. MVC stands for Model-View-Controller.  This framework was originally adopted
  890. in Smalltalk to support Graphical User Interfaces.  Views support graphical
  891. interfacing, controllers handle interaction, and models are the application
  892. objects.  See [Krasner 88] and [LaLonde 90b].
  893.  
  894. From: Carl Petter Swensson <cepe@taskon.no>
  895.   Prof. Trygve Reenskaug is generally cited as being the creator of
  896.   the MVC concept. He worked with the Smalltalk group at Xerox PARC
  897.   as a visiting scientist in 78/79. During this stay at Xerox PARC 
  898.   he developed the MVC. I know him well and have talked to him about
  899.   this. He confirms it, although stating that it was a collaborative
  900.   effort at Xerox PARC.
  901.  
  902.   The implementation of MVC in Smalltalk-80 has since been further
  903.   developed by ParcPlace Systems.
  904.  
  905.   He has worked with Smalltalk in a commercial and research
  906.   environments since then. His group at the Centre for Industral
  907.   Research in Oslo (now part of the SINTEF group) had the only
  908.   Smalltalk-78 implementation outside Xerox PARC.  He is now working
  909.   with Taskon AS.
  910.  
  911.   The ideas that initially gave MVC has been developed further and 
  912.   is the basis of the work Trygve is currently doing on the
  913.   OOram methodology.
  914.  
  915.  
  916. 3.14) What is Real-Time?
  917. ------------------------
  918.  
  919. Real-time is our linear extrapolation/perception of imaginary time (along a
  920. quantum wave function (OTU) in ten dimensions, of course).
  921.  
  922. [This section is YTBI]
  923.  
  924.  
  925. 3.15) What Is Available on OO Metrics?
  926. --------------------------------------
  927.  
  928. This section is still building.
  929.  
  930. [Berard 93] contains an elaborate bibliography and section on OO metrics.
  931. [Booch 94] also contains some coverage.
  932.  
  933. Also:
  934. Object Oriented Software development
  935. Mark Lorenz ISBN 0-13-726928-5
  936. Prentice Hall
  937.  
  938. Software Metrics
  939. Grady-Caswell ISBN 0-13-821844-7
  940. Prentice Hall
  941.  
  942. Measuring Software Design Quality
  943. Card-Glass ISBN 0-13-568593-1
  944. Prentice Hall
  945.  
  946. From: trilk@informatik.tu-muenchen.de (Joern Trilk)
  947. Newsgroups: comp.object,comp.lang.c++,comp.lang.smalltalk,comp.databases.object
  948. Subject: Re: In search of OO Metrics
  949. Date: 20 Jun 1994 14:29:27 GMT
  950. Organization: Technische Universitaet Muenchen, Germany
  951.  
  952. >...
  953. Here are some references:
  954.  
  955. @article{inheriting:1993,
  956.     author  = {G. Michael Barnes and Bradley R. Swim},
  957.     title   = {Inheriting software metrics},
  958.     journal = {JOOP},
  959.     year    = {1993},
  960.     month   = {Nov./Dec.},
  961.     volume  = {6},
  962.     number  = {7},
  963.     pages   = {27-34}
  964. }
  965.  
  966.  
  967. @article{a-new-metr:1993,
  968.     author  = {J.-Y. Chen and J.-F. Lu},
  969.     title   = {A new metric for object-oriented design},
  970.     journal = {Information and Software Technology},
  971.     year    = {1993},
  972.     month   = apr,
  973.     volume  = {35},
  974.     number  = {4},
  975.     pages   = {232-240}
  976. }
  977.  
  978.  
  979. @inproceedings{towards-a-:1991,
  980.     author  = {Shyam R. Chidamber and Chris F. Kemerer},
  981.     title   = {Towards a Metrics Suite for Object Oriented Design},
  982.     booktitle = {OOPSLA '91 Proceeedings},
  983.     year    = {1991},
  984.     pages   = {197-211}
  985. }
  986.  
  987.  
  988. @inproceedings{software-m:1992,
  989.     author  = {J. Chris Coppick and Thomas J. Cheatham},
  990.     title   = {Software Metrics for Object-Oriented Systems},
  991.     booktitle = {CSC '92 Proceedings},
  992.     year    = {1992},
  993.     pages   = {317-322}
  994. }
  995.  
  996.  
  997. @inproceedings{some-metri:1991,
  998.     author  = {B. Henderson-Sellers},
  999.     title   = {Some metrics for object-oriented software engineering},
  1000.     booktitle = {TOOLS Proceedings},
  1001.     year    = {1991},
  1002.     pages   = {131-139}
  1003. }
  1004.  
  1005.  
  1006. @article{object-ori:1993,
  1007.     author  = {Wei Li and Sallie Henry},
  1008.     title   = {Object-Oriented Metrics that Predict Maintainability},
  1009.     journal = {J. Systems Software},
  1010.     year    = {1993},
  1011.     volume  = {23},
  1012.     pages   = {111-122}
  1013. }
  1014.  
  1015.  
  1016. @inproceedings{workshop-r:1992,
  1017.     author  = {Teri Roberts},
  1018.     title   = {Workshop Report - Metrics for Object-Oriented Software Development},
  1019.     booktitle = {OOPSLA '92 (Addendum to the Proceedings)},
  1020.     year    = {1992},
  1021.     pages   = {97-100}
  1022. }
  1023.  
  1024.  
  1025. @techreport{softwareme:1991,
  1026.     author  = {A. Buth},
  1027.     title   = {Softwaremetriken f{\"u}r objekt-orientierte Programmiersprachen},    institution = {Gesellschaft f{\"u}r Mathematik und Datenverarbeitung},
  1028.     year    = {1991},
  1029.     month   = jun,
  1030.     number  = {545},
  1031.     type    = {Arbeitspapiere der GMD}
  1032. }
  1033.  
  1034.  
  1035. The Software Engineering FAQ lists the following references concerning
  1036. metrics for object-oriented systems:
  1037.  
  1038. Date: 26 Jan 1993 Originally collected by: ZUSE%DB0TUI11.BITNET@vm.gmd.de
  1039. (Horst Zuse) 
  1040.  
  1041. a. Morris Kenneth L.  Metrics for Object-Oriented Software Development
  1042.    Environments (master's thesis). 1989, MIT.
  1043. b. Rocacher, Daniel: Metrics Definitions for Smalltalk.  Project ESPRIT 1257,
  1044.    MUSE WP9A, 1988.
  1045. c. Rocacher, Daniel: Smalltalk Measure Analysis Manual.  Project ESPRIT 1257,
  1046.    MUSE WP9A, 1989.
  1047. d. Lake, Al: A Software Complexity Metric for C++.  Annual Oregon Workshop on
  1048.    Software Metrics, March 22-24, 1992, Silver Falls, Oregon, USA.
  1049. e. Bieman, J.M.: Deriving Measures of Software Reuse in Object Oriented
  1050.    Systems.  Technical Report #CS91-112, July 1991, Colorado State Universty,
  1051.    Fort Collins/ Colorado, USA.
  1052.  
  1053. Hope this helps,
  1054.     Joern
  1055.  
  1056. ----------------------------------------------------------------------
  1057. Joern Trilk            Phone: ++49-89-2105-2391
  1058. Institut fuer Informatik (H1)    Fax:   ++49-89-2105-5296
  1059. TU Muenchen            Email: trilk@informatik.tu-muenchen.de
  1060. 80290 Muenchen                    
  1061. ----------------------------------------------------------------------
  1062.  
  1063.  
  1064. SECTION 4:  COMMONLY ASKED LANGUAGE SPECIFIC QUESTIONS
  1065. ======================================================
  1066.  
  1067. 4.1)  What is Downcasting?
  1068. --------------------------
  1069.  
  1070. Downcasting is the term used in C++ for casting a pointer or reference to
  1071. a base class to a derived class.  This should usually be checked with an
  1072. embedded dynamic typing scheme if such a scheme is not present in the
  1073. language, such as with a typecase (Modula-3) or inspect (Simula) construct.
  1074. In C++, it is even possible to use conversion functions to perform some
  1075. checks, although the proposed RTTI will perform checked downcasting as
  1076. its primary ability.
  1077.  
  1078.  
  1079. 4.2)  What are Virtual Functions?
  1080. ---------------------------------
  1081.  
  1082. Look under "Dynamic Binding" and "Polymorphism".
  1083.  
  1084.  
  1085. 4.3)  Can I Use Multiple-Polymorphism Or Multi-Methods In C++?
  1086. ---------------------------------------------------------------
  1087.  
  1088. Yes, but you'll need to embed a dynamic typing scheme to do it.  With dynamic
  1089. types in place, an overriding method in a derived class can explicitly check
  1090. argument types in a switch statement and invoke the desired method emulating
  1091. multiple-polymorphism [See Coplien 92].  
  1092.  
  1093. For true CLOS multi-methods, the above technique implemented as a base function
  1094. (CLOS defgeneric), switching to specialized functions (CLOS methods, made
  1095. friends of all arguments) will provide the functional calling syntax, multiple-
  1096. polymorphism and access to parameters found in CLOS.  This can require some
  1097. complex switching, which is somewhat mitigated when multiple-polymorphism
  1098. is implemented with virtual functions.
  1099.  
  1100. Future FAQs should contain more detail.
  1101.  
  1102.  
  1103. 4.4)  Can I Use Dynamic Inheritance In C++?
  1104. -------------------------------------------
  1105.  
  1106. Yes, [Coplien 92] describes a scheme where a class can contain a pointer to
  1107. a base class that can switch between its derived classes, providing a limited
  1108. form.  Earlier chapters contain entries on bypassing C++'s message system and
  1109. even bypassing static linking.
  1110.  
  1111. Future FAQs should contain more detail.
  1112.  
  1113.  
  1114.  
  1115. ANNOTATED BIBLIOGRAPHY
  1116. ======================
  1117.  
  1118. [Agrawal 91]  R. Agrawal et al.  "Static Type Checking of Multi-Methods".
  1119.  OOPSLA 91.  Object-Oriented Programming Systems, Languages, and Applications.  
  1120.  ACM Press.  Addison Wesley.
  1121.  
  1122.   Compile-time checking and optimizations for multi-methods.
  1123.  
  1124. [Aho 86] Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman.  Compilers:
  1125.  Principles, Techniques, and Tools. Reading, MA: Addison-Wesley, 1986.
  1126.  
  1127.   Authoritative, classic book on compilers and optimizations.  Type chapter
  1128.   contains section on type inferencing (using ML as an example).
  1129.  
  1130. [Berard 93]  Edward V. Berard.  Essays on Object-Oriented Software
  1131.   Engineering.  Prentice Hall.
  1132.  
  1133.   Many topics on OOSE, includes coverage of OO domain and requirements
  1134.   analysis.
  1135.  
  1136. [Black 86] A. Black et al.  Object-Structure in the Emerald System.  OOPSLA
  1137.  '86 Conference Proceedings, SIGPLAN Notices (Special Issue), Vol. 21, n0. 11,
  1138.  pp 78-86.    [I believe there is a more recent article, YTBI]
  1139.  
  1140.   The original article on Emerald.  OO language without inheritance but with
  1141.   abstract types and static subtype polymorphism.  Also designed for
  1142.   distributed programming and reuse.  See article for references: Jade on
  1143.   reuse [Raj 89]) and Distr. Prog.
  1144.  
  1145. [Black 87] A. Black, N. Hutchinson, E. Jul, H. Levyand L. Carter.  Distribution
  1146.  and Abstract Types in Emerald, IEEE Transactions on Software Engineering, Vol.
  1147.  SE13, no. 1 Jam., pp 65-76.
  1148.  
  1149.   Subtype polymorphism for distributed programming in Emerald [Black 86].
  1150.  
  1151. [Blair 89] "Genericity vs Inheritance vs Delegation vs Conformance vs ..."
  1152.  Gordon Blair, John Gallagher and Javad Malik, Journal of Object Oriented
  1153.  Programming, Sept/Oct 1989, pp11-17.
  1154.  
  1155.   Recommended by a reader, but the Author has yet to review this article.
  1156.  
  1157. [Boehm 86] B.W. Boehm. A Spiral Model of Software Development and Enhancement.
  1158.  Software Engineering Notes, Aug., vol. 11 (4), p 22.
  1159.  
  1160.  Presents an alternative evolutionary approach to the strict waterfall software
  1161.  engineering life-cycle.  Now a classic, most OO methodologies now emphasize
  1162.  the iterative or evolutionary approach to software development.
  1163.  
  1164. [Booch 87] Grady Booch.  Software Engineering with Ada.  2nd Ed.  Benjamin
  1165.  Cummings.
  1166.  
  1167.   Booch in his early years.  Mostly object-based programming with Ada.
  1168.  
  1169. [Booch 87b] Grady Booch.  Software Components With Ada, Structures, Tools,
  1170.  and Subsystems.  Benjamin Cummings.
  1171.  
  1172.   A taxonomy and collection of object-based components in Ada (includes code).
  1173.   Has many examples with generics.
  1174.  
  1175. [Booch 91] Booch, Grady. Object-Oriented Design With Applications.  Benjamin
  1176.   Cummings.
  1177.  
  1178.   The often referred to book on OOD.  Offers design notation and methodology.
  1179.   Brief coverage of OOA and elaborate OOD/P coverage in the applications.
  1180.   Good on basic principles and has case studies in Smalltalk, Object Pascal, 
  1181.   C++, CLOS and Ada.
  1182.  
  1183.   Also contains an *elaborate* classified bibliography on many areas of OO.
  1184.  
  1185. [Booch 94]  Grady Booch.  Object-Oriented Analysis And Design With
  1186.  Applications, 2nd Ed. Benjamin Cummings.  ISBN 0-8053-5340-2.
  1187.  
  1188.   The next FAQ should be updated to the second edition.  All examples are now
  1189.   in C++.  Booch incorporates several other major methodologies including
  1190.   Wirf-Brock's CRC (Class-Responsibility-Collaboration) and Jacobson's Use-
  1191.   Cases.
  1192.  
  1193. [Cardelli 85]  L. Cardelli and P. Wegner.  On Understanding Types, Data
  1194.  Abstraction, and Polymorphism.  ACM Computing Surveys vol. 17 (4).
  1195.  
  1196.  Long, classic article on Object-Oriented Types, Data Abstraction and
  1197.  Polymorphism.  Formal coverage with a type system analysis model as well.
  1198.  
  1199. [Chambers 92]  Craig Chambers.  The Design and Implementation of the SELF
  1200.  Compiler, an Optimizing Compiler for Object-Oriented Programming Languages.
  1201.  Dept of Computer Science, Stanford University, March 1992.
  1202.  
  1203.   Covers type optimizations for OO compilers.  See Appendix E, PAPERS.
  1204.  
  1205. [Chambers 93]  Craig Chambers.  Predicate Classes.  Proceedings ECOOP '93
  1206.   O. Nierstrasz, LNCS 707. Springer-Verlag, Kaiserslautern, Germany
  1207.   July 1993 pp 268-296
  1208.  
  1209.    "... an object is automatically an instance of a predicate class whenever
  1210.    it satisfies a predicate expression associated with the predicate class.
  1211.    The predicate expression can test the value or state of the object, thus
  1212.    supporting a form of implicit property-based classification that augments
  1213.    the explicit type-based classification provided by normal classes.  By
  1214.    associating methods with predicate classes, method lookup can depend not
  1215.    only on the dynamic class of an argument but also on its dynamic value or
  1216.    state. [...] A version of predicate classes has been designed and
  1217.    implemented in the context of the Cecil language.
  1218.  
  1219.   See Appendix E, PAPERS.
  1220.  
  1221. [de Champeaux 93] Dennis de Champeaux, Doug Lea, Penelope Faure.
  1222.  Object-Oriented System Development.  Addison-Wesley, ISBN 0-201-56355-X.
  1223.  
  1224.   Covers an integrated treatment of OOA and OOD.  Takes serious the
  1225.   computational model of one thread per object.  Gives more than usual
  1226.   attention to the OOA&D micro process.  Presents a unique OOD language.
  1227.  
  1228. [Coad 91]  Peter Coad and Edward Yourdon. Object-Oriented Analysis, 2nd ed.
  1229.  Englewood Cliffs, NJ. Prentice Hall.
  1230.  
  1231.   Coad and Yourdon's OO analysis method.
  1232.  
  1233. [Coad 91b]  Peter Coad and Edward Yourdon. Object-Oriented Design.  Englewood
  1234.  Cliffs, NJ. Prentice Hall.
  1235.  
  1236.   Coad and Yourdon's OO design method.
  1237.  
  1238. [Coleman 94] Derek Coleman, et. al.  Object-Oriented Development - The Fusion
  1239.  Method.  Prentice-Hall Object-Oriented Series. ISBN 0-13-338823-9
  1240.  
  1241.   Fusion is considered to be a second generation OOAD method in that it builds
  1242.   on successful components of a number of first generation methods (OMT, Booch,
  1243.   CRC, Objectory, etc).  However, this has been done with the requirements of
  1244.   industrial software developers in mind. And so issues of traceability,
  1245.   management etc. have been taken into consideration and the Method provides
  1246.   full coverage from requirements through to code.
  1247.  
  1248. [Cook 90] W.R. Cook, W.L.Hill, P.S. Canning. Inheritance Is Not Subtyping.
  1249.   Appeared in [Hudak 90] and Gunter 94].
  1250.  
  1251.     Theoretical article on the separation between type and class, or as the
  1252.     authors state between implementation inheritance and subtyping.
  1253.  
  1254. [Coplien 92] James O. Coplien.  Advanced C++ Programming Styles and Idioms.
  1255.   Addison Wesley.
  1256.  
  1257.   Covers advanced C++ programming and performing other more advanced and
  1258.   dynamic styles of OO in C++.
  1259.  
  1260. [Colbert 89]  E. Colbert.  The Object-Oriented Software Development Method: a
  1261.  practical approach to object-oriented development.  Tri-Ada Proc., New York.
  1262.  
  1263.   Presents the Object-Oriented Software development method.  Has emphasis on
  1264.   objects.
  1265.  
  1266. [Cox 86,91] Cox, Brad J.  Object-Oriented Programming, An Evolutionary
  1267.  Approach.  Addison Wesley.
  1268.  
  1269.   The original book on Objective-C.  Coverage on object-oriented design and
  1270.   programming.  Also covers Objective-C implementation, even into object code.
  1271.   
  1272.   Objective-C... '91 AW by Pinson and Wiener provide another good text.
  1273.  
  1274. [Embley 92]  D.W. Embley, B.D. Kurtz, S.N. Woodfield.  Object-Oriented Systems
  1275.  Analysis, A Model-Driven Approach. Yourdon Press/Prentice Hall, Englewood
  1276.  Cliffs, NJ.
  1277.  
  1278.   Presents the Embley and Kurtz OO methodology.
  1279.  
  1280. [Garfinkel 93]  Simson L. Garfinkel and Michael K. Mahoney.  NeXTSTEP
  1281.  PROGRAMMING  STEP ONE: Object-Oriented Applications.  Springer-Verlag.
  1282.  
  1283.   Introduction to the NextStep environment and applications development.
  1284.  
  1285. [Goldberg 83] Adele Goldberg and David Robson. Smalltalk-80 The Language and
  1286.  Its Implementation.  Addison Wesley.
  1287.  
  1288.   The original book on Smalltalk.  Covers implementation.  Also known as "the
  1289.   Blue Book".  Out of print.  Superceded by [Goldberg ??].
  1290.  
  1291. [Goldberg ??] Adele Goldberg and David Robson. Smalltalk-80: The Language.
  1292.  Addison-Wesley. 
  1293.  
  1294.   The "Purple Book".  Omits the obsolete abstract virtual machine description
  1295.   from the Blue Book.
  1296.  
  1297. [Gunter 94] Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-
  1298.  Oriented Programming. MIT Press.  ISBN 0-262-07155-X.
  1299.  
  1300.   Highly mathematical, formal coverage of object-oriented programming;
  1301.   primarily on typing.
  1302.  
  1303. [Harmon 93] Paul Harmon.  Objects In Action: Commercial Applications Of Object-
  1304.  Oriented Technologies.  Jan, 1993.  A-W ISBN 0-201-63336-1.
  1305.  
  1306.   Sponsored by the OMG to summarize the use of OO technology in industry and
  1307.   business, contains a brief history and summary of OO and many case studies.
  1308.  
  1309. [HOOD 89] HOOD Working Group.  HOOD Reference Manual Issue 3.0.  WME/89-173/JB.
  1310.  Hood User Manual Issue 3.0. WME/89-353/JB.  European Space Agency.
  1311.  
  1312.   Presnets the HOOD (Hierarchical Object-Oriented Design) OOSE methodology.
  1313.   From the European Space Agency.  Based on Ada and object-based.
  1314.  
  1315. [Hudak 90] P. Hudak. Principles of Programming Languages.  ACM Press, pp 125
  1316.  -135.
  1317.  
  1318.   Contains several articles, including [Cook 90].
  1319.  
  1320. [Hudak 92] Paul Hudak and Simon Peyton Jones.  Haskell Report. SIGPLAN Notices.
  1321.  1992, vol 27, no 5.
  1322.  
  1323.   Haskell reference.
  1324.  
  1325. [Humphrey 89]  Watts Humphrey.  Managing the Software Process.  Addison Wesley.
  1326.  
  1327.   Sponsored by the Software Engineering Institute (SEI), the presented project
  1328.   management model is inspired by the work of Boehm, Brooks, Deming and Juran
  1329.   and represents a strong step in the direction of achieving 6 sigma defect
  1330.   rate prevention and optimizing the software development process for quality,
  1331.   productivity, and reliability.  Presents the CMM, see section .
  1332.  
  1333. [IBM 90,91]  Various Documents from the IBM International Technical Centers:
  1334.  GG24-3647-00, GG24-3641-00, GG24-3566-00, GG24-3580-00.
  1335.  
  1336.   Present IBM's OOSE methodology.
  1337.  
  1338. [Jacobson 92]  Ivar Jacobson, et al.  Object-Oriented Software Engineering - A
  1339.  Use Case Driven Approach. ACM Press/Addison Wesley.
  1340.  
  1341.   Presents Jacobson's new OOSE methodology based on use cases.
  1342.  
  1343. [Jones 92]  Rick Jones. Extended type checking in Eiffel. Journal of Object-
  1344.  Oriented Programming, May 1992 issue, pp.59-62.
  1345.  
  1346.   Presents subtype polymorphic extension to Eiffel (static typing only).
  1347.  
  1348. [Jurik 92] John A. Jurik, Roger S. Schemenaur, "Experiences in Object Oriented
  1349.  Development," ACM 0-89791-529-1/92/0011-0189.
  1350.  
  1351.   Presents the EVB OOSE methodology.  Also: Barbara McAllister, Business
  1352.   Development, EVB Software Engineering, Inc., (301)695-6960, barb@evb.com.
  1353.  
  1354. [Kiczales 92] Gregor Kiczales, Jim des Rivieres, Daniel G. Bobrow.  The Art
  1355.  of the Metaobject Protocol.  The MIT Press.
  1356.  
  1357.   Reflection and Metaobject Protocols (MOPs).  Uses a CLOS subset, Clossette,
  1358.   as a foundation.
  1359.  
  1360. [Kim 89]  Won Kim and Frederick Lochovsky Editors.  Object-Oriented Concepts,
  1361.  Applications, and Databases.
  1362.  
  1363.   Collection of articles on advanced OO and research systems.
  1364.  
  1365. [Krasner 88] G. E. Krasner and S. T. Pope. A Cookbook for Using the Model-View-
  1366.  Controller User Interface Paradigm in Smalltalk-80. JOOP, vol 1, no 3, August/
  1367.  September, 1988, pp 26-49,
  1368.  
  1369.   An early paper published on MVC.
  1370.  
  1371. [Lakoff 87] George Lakoff.  Women, Fire, and Dangerous Things: What Categories
  1372.   Reveal About The Mind.  UOC Press.
  1373.  
  1374.   An almost formal view of classification/categorization by the noted cognitive
  1375.   scientist, George Lakoff.  His view blasts objectivism and contends to
  1376.   replace it with a subjectivist view, based on a study of humans, natural
  1377.   language, and concept formation.
  1378.  
  1379. [LaLonde 90]  Wilf R. LaLonde and John R. Pugh.  Inside Smalltalk: Volume 1.
  1380.  Prentice Hall.
  1381.  
  1382.   Good introduction to Smalltalk.
  1383.  
  1384. [LaLonde 90b]  Wilf R. LaLonde and John R. Pugh.  Inside Smalltalk: Volume 2.
  1385.  Prentice Hall.
  1386.  
  1387.   Excellent coverage of MVC. However, it's based on ParcPlace Smalltalk-80,
  1388.   version 2.5, which is obsolete.
  1389.  
  1390. [Liskov 93] Barbara Liskov and Jeannette M. Wing.  Specifications and Their use
  1391.  in Defining Subtypes.  OOPSLA 93, pp 16-28.  ASM SIGPLAN Notices, V 28, No 10,
  1392.  Oct. 1993.  A-W ISBN 0-201-58895-1.
  1393.  
  1394.   Specifications on Subtype hierarchies.  Helps to insure the semantic
  1395.   integrity of a separate subtype system.  See section 2.7.
  1396.  
  1397. [Madsen 93] Ole Lehrmann  Madsen, Birger Moller-Pedersen, Kristen Nygaard:
  1398.  Object-oriented programming in the BETA programming language.  Addison-Wesley,
  1399.  June 1993. ISBN 0 201 62430 3
  1400.  
  1401.   The new and authoritative book on BETA, by the original designers.  They
  1402.   are some of the same designers of the Simula languages, originating OO.
  1403.   Also just announced:
  1404.     Object-Oriented Environments: The Mjolner Approach
  1405.     Editors: Jorgen Lindskov Knudsen, Mats Lofgren, Ole Lehrmann Madsen,
  1406.          Boris Magnusson
  1407.     Prentice Hall: The Object-Oriented Series
  1408.     ISBN: 0-13-009291-6 (hbk)
  1409.  
  1410. [Martin 92] James Martin and James J. Odell. Object-Oriented Analysis and
  1411.  Design, Prentice-Hall, Englewood Cliffs, NJ.  
  1412.  
  1413.   Its primary purpose is to indicate how information engineering (IE) can be 
  1414.   evolved to accommodate OO.  The analysis portion (starting at Chapter 15) 
  1415.   attempts to go back to 'first principles' and is based on a formal foundation.
  1416.   Therefore, the IE aspect is not required.  Emphasis is more on analysis than 
  1417.   design.
  1418.  
  1419. [Meyer 88] Bertrand Meyer. Object-Oriented Software Construction.  Prentice
  1420.  Hall.  [Is there a new edition out?]
  1421.  
  1422.   The original book on Eiffel.  Coverage on object-oriented design and
  1423.   programming.  Also:
  1424.  
  1425.  
  1426. [Meyer 92] Bertrand Meyer. Eiffel: The Language. Prentice Hall. Englewood
  1427.  Cliffs, NJ. 1992.
  1428.  
  1429.   The definitive book on Eiffel by its author.
  1430.  
  1431. [Meyer 94] Bertrand Meyer. Reusable Software: The Base Object-Oriented
  1432.  Components Libraries.
  1433.  
  1434.   The new Eiffel class Libraries.
  1435.  
  1436. [Mugridge 91] Warwick B. Mugridge et al.  Multi-Methods in a Statically-Typed
  1437.  Programming Language. Proc. ECOOP.
  1438.  
  1439.   Efficient implementation of Multi-Methods.
  1440.  
  1441. [Murray 93] Robert B. Murray.  C++ Strategies and Tactics.  Addison Wesley.
  1442.  
  1443.   C++, has template examples.
  1444.  
  1445. [Nerson 92] Jean-Marc Nerson.  Applying Object-Oriented Analysis and Design.
  1446.  CACM, 9/92.
  1447.  
  1448.   Demonstrates the basics of the BON method/notation.  Nerson: marc@eiffel.fr
  1449.  
  1450. [Paepcke 93] Andreas Paepcke.  Object-Oriented Programming: The CLOS
  1451.  Perspective.  MIT Press.  ISBN 0-262-16136-2.
  1452.  
  1453.   CLOS, readable introduction to its metaobject protocol, comparisons with
  1454.   other languages, uses and methodology, and implementation.  Develops a
  1455.   persistent object metaclass example.
  1456.  
  1457. [Raj 89] R.K. Raj and H.M. Levy.  A Compositional Model for Software Reuse.
  1458.  The Computer Journal, Vol 32, No. 4, 1989. 
  1459.  
  1460.   A novel approach aading reuse to Emerald [Black 86] without inheritance.
  1461.  
  1462. [Reenskaug 91] T. Reenskaug, et al.  OORASS: seamless support for the creation
  1463.  and maintenance of object-oriented systems. Journal of Object-Oriented
  1464.  Programming, 5(6).
  1465.  
  1466.   Presents the Object-Oriented Role Analysis, synthesis, and Structuring
  1467.   OOSE methodology.
  1468.  
  1469. [Royce 70] W. W. Royce. Managing the Development of Large Software Systems.
  1470.  Proceedings of IEEE WESCON, August 1970.
  1471.  
  1472.  Introduces the Waterfall Process Model.
  1473.  
  1474. [Rumbaugh 91] Rumbaugh James, et al.  Object-Oriented Modeling and Design.
  1475.  Prentice Hall.
  1476.  
  1477.   The often referred to book on OOA/OOD.  Introduces the Object Modeling
  1478.   Technique (OMT) OOA/D notation and methodology.  Has case studies.
  1479.  
  1480. [Sciore 89] Edward Sciore.  Object Specialization. ACM Transactions on
  1481.  Information Systems, Vol. 7, No. 2, April 1989, p 103.
  1482.  
  1483.   A hybrid approach between delegation and classical OO.
  1484.  
  1485. [Selic 94] Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time
  1486.  Object-Oriented Modeling. Published by John Wiley & Sons. 
  1487.  ISBN 0-471-59917-4
  1488.  
  1489.   OO method addresses complete lifecycle needs of real-time systems. Emphasizes
  1490.   executable models for early validation of requirements, architecture, and
  1491.   design combined with techniques for automatic generation of implementations.
  1492.   Specifically real-time with iterative and incremental development process.
  1493.   Single consistent graphical modeling concepts apply uniformly to OOA/D/I.
  1494.  
  1495. [Shlaer 88] Sally Shlaer and Stephen J. Mellor.  Object-Oriented Systems
  1496.  Analysis: Modeling the World in Data.
  1497.  
  1498.   Credited as the first book proposing an OOA method.
  1499.  
  1500. [Shlaer 92] Sally Shlaer and Stephen J. Mellor.  Object Lifecycles: Modeling
  1501.   the World in States.
  1502.  
  1503.   An addition to [Shlaer 88], provides dynamic modeling with a state-
  1504.   transition driven approach.
  1505.